(0.2.3) Practice and verify